[INFO] cloning repository https://github.com/Totsugekitai/kani2
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Totsugekitai/kani2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTotsugekitai%2Fkani2", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTotsugekitai%2Fkani2'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1620563de24ac1d567bfce750a8e3489bd1f93f9
[INFO] checking Totsugekitai/kani2 against master#9610dfe5a9a731ced1ea4923ecbd0c57fe367898 for beta-170-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FTotsugekitai%2Fkani2" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Totsugekitai/kani2 on toolchain 9610dfe5a9a731ced1ea4923ecbd0c57fe367898
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9610dfe5a9a731ced1ea4923ecbd0c57fe367898" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Totsugekitai/kani2
[INFO] finished tweaking git repo https://github.com/Totsugekitai/kani2
[INFO] tweaked toml for git repo https://github.com/Totsugekitai/kani2 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/Totsugekitai/kani2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9610dfe5a9a731ced1ea4923ecbd0c57fe367898" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded uefi-services v0.13.0
[INFO] [stderr]   Downloaded uefi-macros v0.7.0
[INFO] [stderr]   Downloaded bitmaps v3.2.0
[INFO] [stderr]   Downloaded uefi v0.16.0
[INFO] [stderr]   Downloaded linked_list_allocator v0.10.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+9610dfe5a9a731ced1ea4923ecbd0c57fe367898" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ac6980e33372006e329f92dcc4aba23e35bcd7c440b2ca47e5edb25ea187fe0e
[INFO] running `Command { std: "docker" "start" "-a" "ac6980e33372006e329f92dcc4aba23e35bcd7c440b2ca47e5edb25ea187fe0e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ac6980e33372006e329f92dcc4aba23e35bcd7c440b2ca47e5edb25ea187fe0e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ac6980e33372006e329f92dcc4aba23e35bcd7c440b2ca47e5edb25ea187fe0e", kill_on_drop: false }`
[INFO] [stdout] ac6980e33372006e329f92dcc4aba23e35bcd7c440b2ca47e5edb25ea187fe0e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+9610dfe5a9a731ced1ea4923ecbd0c57fe367898" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] af6764355855a52ab34c154757a4fd17539f3c14e7ee567fd790e66ad7807e41
[INFO] running `Command { std: "docker" "start" "-a" "af6764355855a52ab34c154757a4fd17539f3c14e7ee567fd790e66ad7807e41", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.39
[INFO] [stderr]    Compiling syn v1.0.98
[INFO] [stderr]    Compiling rustversion v1.0.7
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking volatile v0.4.4
[INFO] [stderr]     Checking bitmaps v3.2.0
[INFO] [stderr]     Checking ucs2 v0.3.2
[INFO] [stderr]     Checking lock_api v0.4.6
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking spinning_top v0.2.4
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]     Checking linked_list_allocator v0.10.3
[INFO] [stderr]    Compiling quote v1.0.19
[INFO] [stderr]     Checking x86_64 v0.14.10
[INFO] [stderr]    Compiling uefi-macros v0.7.0
[INFO] [stderr]    Compiling scroll_derive v0.11.0
[INFO] [stderr]     Checking uefi v0.16.0
[INFO] [stderr]     Checking scroll v0.11.0
[INFO] [stderr]     Checking goblin v0.5.4
[INFO] [stderr]     Checking kani2_common v0.1.0 (/opt/rustwide/workdir/common)
[INFO] [stderr]     Checking uefi-services v0.13.0
[INFO] [stderr]     Checking kani2_kernel v0.1.0 (/opt/rustwide/workdir/kernel)
[INFO] [stdout] error: the `#[global_allocator]` in this crate conflicts with global allocator in: uefi
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spin::Mutex`
[INFO] [stdout]  --> kernel/src/gdt.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use spin::Mutex;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `PrivilegeLevel`
[INFO] [stdout]  --> kernel/src/gdt.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     PrivilegeLevel,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lazy_static::lazy_static`
[INFO] [stdout]  --> kernel/src/memory.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use lazy_static::lazy_static;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spin::Mutex`
[INFO] [stdout]  --> kernel/src/memory.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use spin::Mutex;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `OffsetPageTable`, `VirtAddr`
[INFO] [stdout]  --> kernel/src/memory.rs:6:26
[INFO] [stdout]   |
[INFO] [stdout] 6 |     structures::paging::{OffsetPageTable, PageTable, PageTableFlags, PhysFrame},
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     PhysAddr, VirtAddr,
[INFO] [stdout]   |               ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `MemoryMap`
[INFO] [stdout]   --> kernel/src/main.rs:18:36
[INFO] [stdout]    |
[INFO] [stdout] 18 | use kani2_common::boot::{BootInfo, MemoryMap};
[INFO] [stdout]    |                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: language item required, but not found: `eh_personality`
[INFO] [stdout]   |
[INFO] [stdout]   = note: this can occur when a binary crate with `#![no_std]` is compiled for a target where `eh_personality` is defined in the standard library
[INFO] [stdout]   = help: you may be able to compile for a target that doesn't need `eh_personality`, specify a target with `--target` or in `.cargo/config`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: the `#[global_allocator]` in this crate conflicts with global allocator in: uefi
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: the `#[alloc_error_handler]` in this crate conflicts with allocation error handler in: std
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spin::Mutex`
[INFO] [stdout]  --> kernel/src/gdt.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use spin::Mutex;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `PrivilegeLevel`
[INFO] [stdout]  --> kernel/src/gdt.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     PrivilegeLevel,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors; 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lazy_static::lazy_static`
[INFO] [stdout]  --> kernel/src/memory.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use lazy_static::lazy_static;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `spin::Mutex`
[INFO] [stdout]  --> kernel/src/memory.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use spin::Mutex;
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `OffsetPageTable`, `VirtAddr`
[INFO] [stdout]  --> kernel/src/memory.rs:6:26
[INFO] [stdout]   |
[INFO] [stdout] 6 |     structures::paging::{OffsetPageTable, PageTable, PageTableFlags, PhysFrame},
[INFO] [stdout]   |                          ^^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     PhysAddr, VirtAddr,
[INFO] [stdout]   |               ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `MemoryMap`
[INFO] [stdout]   --> kernel/src/main.rs:18:36
[INFO] [stdout]    |
[INFO] [stdout] 18 | use kani2_common::boot::{BootInfo, MemoryMap};
[INFO] [stdout]    |                                    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0152]: found duplicate lang item `panic_impl`
[INFO] [stdout]   --> kernel/src/main.rs:56:1
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn panic(info: &PanicInfo) -> ! {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: the lang item is first defined in crate `std` (which `test` depends on)
[INFO] [stdout]    = note: first definition in `std` loaded from /opt/rustwide/rustup-home/toolchains/9610dfe5a9a731ced1ea4923ecbd0c57fe367898/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-a8a9ba95b1228749.rlib
[INFO] [stdout]    = note: second definition in the local crate (`kani2_kernel`)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `kani2_kernel` (bin "kani2_kernel") due to 3 previous errors; 6 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 3 previous errors; 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0152`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `kani2_kernel` (bin "kani2_kernel" test) due to 4 previous errors; 6 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "af6764355855a52ab34c154757a4fd17539f3c14e7ee567fd790e66ad7807e41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "af6764355855a52ab34c154757a4fd17539f3c14e7ee567fd790e66ad7807e41", kill_on_drop: false }`
[INFO] [stdout] af6764355855a52ab34c154757a4fd17539f3c14e7ee567fd790e66ad7807e41
